Словарь по логике - логика неклассическая

совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе современной логики.

Начавшаяся в конце XIX начале XX в., критика классической логики привела к возникновению целого ряда новых, неклассических разделов математической (символической) логики. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике.

Л. Брауэр (1881-1961) подверг сомнению неограниченную применимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом (1888) и не содержащей указанных законов. Одновременно с Л. Брауэром идею неуниверсальности закона исключенного третьего отстаивал рус. логик Н. А. Васильев (1880-1940).

В 1912 г. К. И. Льюис (1883-1964) обратил внимание на парадоксы импликации,  характерные для формального аналога условного высказывания в классической логике импликации материальной. В дальнейшем он разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получила релевантная логика. 

Классическая логика исходит из предположения, что всякое высказывание является или истинным, или ложным (двузначности принцип) . В 20-е годы XX в. Я. Лукасевичем (1878-1956) и Э. Постом (1897-1954) были построены многозначные логики, допускающие более двух истинностных значений.

На рубеже 20-х годов К. И. Льюисом и Я. Лукасевичем были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности и т. п. Тем самым в современной логике была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.

В середине 20-х годов появилась первая работа Э. Малли по деонтической логике, исследующей логические связи нормативных высказываний. К этому же времени относится первая попытка Э. Гуссерля (1859-1938) развить оценок логику.

В 30-е годы Д. фон Нейманом (1903-1957) и Г. Биркгофом была опубликована первая работа по логике квантовой механики.

Особенно интенсивно Л. н. продолжала расширяться после второй мировой войны. С. Яськовским (1906-1965) была построена "логика дискуссии", явившаяся прототипом паранепротиворечивой логики, на возможность которой еще раньше указывали Н. А. Васильев и Я. Лукасевич; с работ А. Н. Прайора началось развитие логики времени; С. Халлденом и Г. X. фон Вригтом (р. 1916) были предложены развитые логические теории сравнительных оценок (предпочтений логика) ; Г. X. фон Вригтом построены логика изменения  и логика действия; А. Берксом логика причинности и т. д.

Экстенсивный рост Л. н. не завершился и сейчас. В последние десятилетия существенно упрочились ее основы и усовершенствовались ее методы. Это касается прежде всего модальной логики и теории логического следования.

Л. н. с трудом поддается определению, т. к. ее ветви рассматривают различные типы рассуждений. В целом задача Л. н. более полно описать те элементы логической формы рассуждений, которые упускаются из виду классической логикой.

Между неклассическими разделами логики существуют сложные и многообразные связи. Так, интуиционистская и модальная логики могут быть истолкованы как определенного рода многозначные логики (а именно: как бесконечнозначные логики). В рамках модальной логики может быть определено понятие логического следования, в свою очередь в терминах неклассических импликаций определены модальные понятия и т. д.

В настоящее время  Л. н. является наиболее интенсивно развивающейся частью логики, нашедшей важные приложения в философии, математике, кибернетике, физике, языкознании и т. д.